$\forall$${\it es}$:ES, $i$:Id, ${\it xs}$:(Id List). state@$i$$\mid$${\it xs}$ $\in$ Type